2081. The foundations of mathematics /
پدیدآورنده: Ian Stewart and David Tall
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Logic, Symbolic and mathematical
رده :
QA9
.
S755
2015
2082. The foundations of mathematics and other logical essays
پدیدآورنده: Ramsey, Frank Plumpton
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع: ، Mathematics -- Philosophy,، Logic, Symbolic and mathematical
رده :
QA
9
.
R23
2083. The foundations of mathematics and other logical essays.
پدیدآورنده: Ramsey, Frank Plumpton
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Mathematics - Philosophy,، Logic, Symbolic and mathematical
رده :
QA
9
.
R3
2084. The foundations of mathematics and other logical essays
پدیدآورنده: Ramsey, Frank Plumpton
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع: ، Mathematics -- Philosophy,، Logic, Symbolic and mathematical
رده :
QA
9
.
R23
1960
2085. The grammar of mathematic
پدیدآورنده: Durst, Lincoln K., ]by[ Lincoln K. Durst
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع: ، Logic, Symbolic and mathematical
رده :
QA
9
.
D86
2086. The grammar of mathematics
پدیدآورنده: Durst, Lincoln K
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع: ، Logic, Symbolic and mathematical
رده :
QA
9
.
D86
2087. The incomputable : journeys beyond the Turing barrier
پدیدآورنده: S. Barry Cooper, Mariya I. Soskova, editors
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Unsolvability )Mathematical logic(,، Computable functions,، Logic, Symbolic and mathematical
رده :
QA
9
.
63
.
I52
2088. The language of logic
پدیدآورنده: Freudenthal, Hans
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Logic, Symbolic and mathematical
رده :
BC
135
.
F7513
2089. The limits of science; outline of logic and of the methodology of the exact sciences.
پدیدآورنده: Chwistek, Leon
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Science - Methodology,، Mathematics - Philosophy,، Logic, Symbolic and mathematical
رده :
Q
175
.
C494
1948
2090. The limits of science;outline of logic and of the methodology of the exact sciences
پدیدآورنده: By the late Leon Chwistek; Introduction and appendix by Helen Charlotte Brodie
کتابخانه: كتابخانه دانشكده ادبيات دانشگاه تهران (تهران)
موضوع: Science--Methodology.,Mathematics--Philosophy.,Logic, Symbolic and mathematical.
2091. The limits of science; outline of logic and of the methology of the exact science
پدیدآورنده: / [Translated from the Polish by Helen Charlotte Brodie and Arthur P. Coleman] Introduction and appendix by Helen Charlotte Brodie,Chwistek
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه تهران (تهران)
موضوع: Science -- Methodolgy,Mathematics -- Philosophy.,Logic, Symbolic and mathematical
رده :
Q
175
.
C494
2092. The logic book /
پدیدآورنده: Merrie Bergmann, James Moor, Jack Nelson
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Logic, Symbolic and mathematical,Predicate (Logic)
رده :
BC135
.
B435
2009
2093. The logic book
پدیدآورنده: Bergmann, Merrie.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Logic, Symbolic and mathematical,، Prediction )Logic(
رده :
BC
135
.
B435
2009
2094. The logic book /
پدیدآورنده: Merrie Bergmann, James Moor, Jack Nelson.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Logic, Symbolic and mathematical.,Predicate (Logic),Logic, Symbolic and mathematical.,Logica.,Predicate (Logic),Symbolische logica.,Voorspellingen.,Wiskundige logica.
رده :
BC135
.
B435
2003
2095. The logic design of transistor digital computers
پدیدآورنده: / by Gerald A. Maley [and] John Earle
کتابخانه: کتابخانه دانشکدگان فنی 1 دانشگاه تهران (تهران)
موضوع: Electronic digital computers--Design and construction,Transistor circuits,Logic,Symbolic and mathematical
رده :
TK
7888
.
3
.
M3
2096. The logic design of transistor:digital computers
پدیدآورنده: MALEY,GERALD A
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: ELECTRONIC DIGITAL COMPUTERS-DESIGN & , TRANSISTOR CIRCUITS , LOGIC,SYMBOLIC & MATHEMATICAL
رده :
TK
7888
.
3
.
M3
2097. The logic of Infinity /
پدیدآورنده: Barnaby Sheppard
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Logic, Symbolic and mathematical,Set theory
رده :
QA248
.
S44
2014
2098. The logic of chance
پدیدآورنده: Venn, John
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Chance,، Probabilities,Methodology ، Science,، Logic, Symbolic and mathematical
رده :
BC
141
.
V4
1962
2099. The logic of chance
پدیدآورنده: / by John Venn
کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)
موضوع: Chance,Probabilities,Science - Methodology,Logic . symbolic and mathematical
رده :
BC141
.
V4
1962
2100. The logic of information structures
پدیدآورنده: Wansing, Heinrich T.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Computer science,، Artificial intelligence,، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
681
